{
    type Arr = ['a', 'b', 'c'];

    type First<T extends any[]> = T extends [] ? never : T[0];


    type testFirst = First<Arr>;
}